#include "HsTypes.h"

volatile hs_int32_t tx_thread1to2_flag1;
volatile hs_int32_t tx_thread2to3_flag1;

volatile hs_int32_t tx_data_flag2;
volatile hs_int32_t tx_data_flag3;

void tx_init_thread_flags(){

	tx_data_flag2 = 0;
	tx_data_flag3 = 0;
	
	tx_thread1to2_flag1 = 0;
	tx_thread2to3_flag1 = 0;	
}
